TAGs: proof solution manual pdf